1. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، PL/CV )Computer program language(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
135
2. An introduction to the PL/CV2 programming logic
پدیدآورنده : Constable, Robert L.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، PL/CV )Computer program language(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
135
